Metakalba formalios kalbos sintaksei apibrėžti.

Kalba apibrėžiama taisyklių aibe. Kiekvienos taisyklės kairėje pusėje rašomas kalbos sąvokos pavadinimas (metakintamasis), o dešinėje – jos formali apibrėžtis, išreikšta kitų sąvokų pavadinimais arba kalbos elementais, kurie čia vadinami terminaliniais simboliais. Tam kad sąvokų pavadinimai skirtųsi nuo terminalinių simbolių, jie rašomi tarp ženklų < ir >. Pavyzdžiui, sąvoka skaičius gali būti apibrėžta taip:

	<skaičius> ::= <skaičius be ženklo> |
		       <ženklas><skaičius be ženklo>
	<skaičius be ženklo> ::= <skaitmuo> |
				 <skaitmuo><skaičius be ženklo>
	<skaitmuo> ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
	<ženklas> ::= + | -

Čia skaičiui apibrėžti panaudototos keturios taisyklės. Taisyklių pusės skiriamos simboliu ::=. Ženklas | reiškia „arba“.

Bekaus ir Nauro forma bei jos modifikacijos naudojamos programavimo kalbų, protokolų ir kitų formalių dokumentų sintaksei apibrėžti.

Santrumpa – BNF.